[IA64] fix a bug in vmx_send_assist_req()
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 22 Nov 2006 17:13:31 +0000 (10:13 -0700)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 22 Nov 2006 17:13:31 +0000 (10:13 -0700)
commitffc7a87f6566d9ab5e28b088ef889152f5931bc8
tree8af14d95a1b50e61a22303ea0b20bd6565fb484e
parentd28132e9b9e137e18a8fb8a928c7e1acb0122bd4
[IA64] fix a bug in vmx_send_assist_req()

We must do_softirq() explicitly to enter scheduler

If not, booting a windows guest and a linux guest at the same time
will lead to a system hang.

Signed-off-by: Zhang Xin <xing.z.zhang@intel.com>
xen/arch/ia64/vmx/vmx_support.c